A Verification Methodology for Programmable and Reconfigurable Processors
نویسندگان
چکیده
An innovative approach for functional verification, embedded in a design and verification environment, will be presented. The approach permits the reuse of test patterns by the combination of a top level test-bench and subordinated module test-benches in a unique manner. It is based on a new Add-on tool, which extends ModelSim/Questa by powerful features to stimulate, compare, and trace of signals.
منابع مشابه
Mapping Algorithms to the Amalgam Programmable-Reconfigurable Processor
The Amalgam programmable-reconfigurable processor is designed to provide the computational power required by upcoming embedded applications without requiring the design of application-specific hardware. It integrates multiple programmable processors and blocks of reconfigurable logic onto a single chip, using a clustered architecture, similar to the one used on the M-Machine [1] to reduce wire ...
متن کاملA Novel Methodology for Task Distribution in Heterogeneous Reconfigurable Computing System
Modern embedded systems are being modeled as Heterogeneous Reconfigurable Computing Systems (HRCS) where Reconfigurable Hardware i.e. Field Programmable Gate Array (FPGA) and soft core processors acts as computing elements. So, an efficient task distribution methodology is essential for obtaining high performance in modern embedded systems. In this paper, we present a novel methodology for task...
متن کاملFormal Verification of Reconfigurable Cores
We show how a formal verification methodology can complement conventional verification for the development of FPGAbased cores. As FPGAs become larger, there is a greater reliance on shrink-wrapped intellectual property. In particular, customers expect rigorous verification of the cores that they purchase. We report on positive experience of using formal verification to facilitate the developmen...
متن کاملUtilizing Reconfigurable Hardware Processors via Grid Services
Computational grids typically consist of nodes utilizing ordinary processors such as the Intel Pentium. Field Programmable Gate Arrays (FPGAs) are able to perform certain compute-intensive tasks very well due to their inherent parallel architecture, often resulting in orders of magnitude speedups. This paper explores how FPGAs can be transparently exposed for remote use via grid services, by in...
متن کاملThe Cameron Project: High-Level Programming of Image Processing Applications on Reconfigurable Computing Machines
Reconfigurable computing maps computation onto flexible and reprogrammable hardware. A typical reconfigurable computing (RC) system consists of a host processor (with a traditional architecture) and one or more reconfigurable coprocessors. Proposed hardware architectures for reconfigurable co-processors fall in two broad categories [4]: netlist computers with uniform arrays of fine grained logi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007